$x$ $\in$ dom($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$deq{-}member(${\it eq}$;$x$;1of($f$))